ATC.UNF[MRS,LSP]7 - www.SailDart.org

perm filename ATC.UNF[MRS,LSP]7 blob sn#671094 filedate 1982-08-02 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON AUGUST 2, 1982, AT 9:49 AM

;Loading DEFSTRUCT 233
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR)) 
	(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 392. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 911. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 961. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1018. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1078. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1113. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1248. (LAP |CONDCARPUSH MACRO| SUBR)) 
	(COMMENT **FASL** 1310. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1389. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1406. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR)) 
	(COMMENT **FASL** 1436. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1639. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1640. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1644. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1654. (LAP |SETUPQUANTS MACRO| SUBR)) 
	(COMMENT **FASL** 1703. (LAP |ORDER-PATHKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 1729. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 2012. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2143. (LAP |NORMALIZE-DETERMINER MACRO| SUBR)) 
	(COMMENT **FASL** 2190. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2378. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2421. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2448. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2508. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2587. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2784. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 2956. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 2980. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 2997. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3024. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR)) 
	(COMMENT **FASL** 3033. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3166. (LAP |TERMSORT-VARANGE MACRO| SUBR)) 
	(COMMENT **FASL** 3197. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3385. (LAP |UNARY-ATOMIC MACRO| SUBR)) 
	(COMMENT **FASL** 3432. (LAP |NOPAREN-DISJUNCT MACRO| SUBR)) 
	(COMMENT **FASL** 3441. (LAP |DPYLIST-ROLINK MACRO| SUBR)) 
	(COMMENT **FASL** 3509. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR)) 
	(COMMENT **FASL** 3541. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3573. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4280. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4311. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4349. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4452. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4496. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4523. (LAP |PRINSOURCECHUNK MACRO| SUBR)) 
	(COMMENT **FASL** 4532. (LAP |GETSBQLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4607. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4635. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4699. (LAP |PRINSUBQUANT1 MACRO| SUBR)) 
	(COMMENT **FASL** 4732. (LAP |PRINSUBQUANT2 MACRO| SUBR)) 
	(COMMENT **FASL** 4765. (LAP |GETQUANTLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4816. (LAP |GETλ-LINE MACRO| SUBR)) 
	(COMMENT **FASL** 4865. (LAP |MAXVARIABLENGTH MACRO| SUBR)) 
	(COMMENT **FASL** 4900. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4909. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5173. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5450. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 5501. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5531. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5547. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5577. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5606. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5659. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5710. (LAP |ADD-NEWLINK MACRO| SUBR)) 
	(COMMENT **FASL** 5758. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5783. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5874. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5947. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5990. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6046. (LAP |PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6100. (LAP |COLLECT-IMAGES MACRO| SUBR)) 
	(COMMENT **FASL** 6156. (LAP |MERGED-PKLS MACRO| SUBR)) 
	(COMMENT **FASL** 6183. (LAP |SETUP-λ-EXPR MACRO| SUBR)) 
	(COMMENT **FASL** 6251. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 6284. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR)) 
	(COMMENT **FASL** 6351. (LAP |INST-KEYS MACRO| SUBR)) 
	(COMMENT **FASL** 6413. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 6418. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6721. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6792. (LAP |GET-Q-OP MACRO| SUBR)) 
	(COMMENT **FASL** 6849. (LAP |↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6876. (LAP |λ-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6903. (LAP |*-OR-↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6929. (LAP |*-OR-C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6955. (LAP |C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6982. (LAP |2:9-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7019. (LAP |NUMERAL-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7056. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7089. (LAP |RAISE-CC MACRO| SUBR)) 
	(COMMENT **FASL** 7145. (LAP |RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7178. (LAP |GET-BASE-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7226. (LAP |GET-S&S-KEY MACRO| SUBR)) 
	(COMMENT **FASL** 7282. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 7791. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 8084. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 10035. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 10077. (LAP |GET-PK-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 10120. (LAP |GET-MERGEKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 10176. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 10233. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 10430. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 10480. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 10510. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 10554. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10691. (LAP |MAKE-↑-MARKER MACRO| SUBR)) 
	(COMMENT **FASL** 10754. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 10905. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 10938. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 10983. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 11059. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 11075. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 11112. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 11120. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 11131. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 11366. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 11431. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 11436. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 11438. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 11449. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 11455. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 11474. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 11513. (LAP SOME-DUPLICATE-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 11601. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR)) 
	(COMMENT **FASL** 11709. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 11724. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 12342. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 12457. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR)) 
	(COMMENT **FASL** 12508. (LAP |INITSTR= MACRO| SUBR)) 
	(COMMENT **FASL** 12561. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 12637. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 12686. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 12727. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 12845. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 12893. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12934. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12972. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 13009. (LAP |NEXTLETTER MACRO| SUBR)) 
	(COMMENT **FASL** 13042. (LAP KEYNUMBER SUBR)) 
	(COMMENT **FASL** 13064. (LAP |LISTCOMPS MACRO| SUBR)) 
	(COMMENT **FASL** 13096. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR)) 
	(COMMENT **FASL** 13213. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 13280. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 13588. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 13611. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 13678. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 13846. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 14024. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 14048. (LAP GET-XPDN-COMMAND SUBR)) 
	(COMMENT **FASL** 14052. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 14291. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 14414. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 14596. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 14662. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 14838. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 14925. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 15227. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15337. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 15478. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 15497. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 15510. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 15581. (LAP |ES-FILTER MACRO| SUBR)) 
	(COMMENT **FASL** 15607. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  15625. WORDS)